Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
21	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
22	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics
23	Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-05-23 07:03:44 Logic Quantification Mathematical logic Semantics Abstraction Predicate logic Model theory Finite model theory Quantifier First-order logic FO Generalized quantifier
24	Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics Frank Loebe1,2 and Heinrich Herre2 1 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 11:37:57 Ontology Semantic Web Information science Academia Logic Technical communication Computing Semantics Formal ontology Web Ontology Language Mereology
25	LANGUAGE LEARNING AND DEVELOPMENT, 2(2), 77–96 Copyright © 2006, Lawrence Erlbaum Associates, Inc. Asymmetries in the Acquisition of Numbers and Quantifiers Felicia Hurewitz Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2015-10-27 17:01:33 Logic Philosophy Quantification Abstraction Semantics Ontology Quantifier Count noun Proposition Implicature Quantity Mathematical logic
26	Empiricism, Semantics, and Ontology Rudolf Carnap Revue Internationale de Philosophie): Reprinted in the Supplement to Meaning and Necessity: A Study in Semantics and Modal Logic, enlarged edition (Univers Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Metaphysics Logic Ontology Meaning Semantics Philosophy of language Philosophical logic Proposition Nominalism Reality Question
27	Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:09 Formal methods Logic in computer science Business process modeling Conceptual model Modeling language Semantics Abstraction Operations research Computing Event-driven process chain
28	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
29	Motivation Overview Traces Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2016-01-12 05:36:12 Algebra Theoretical computer science Mathematics Logic in computer science Formal methods Models of computation Denotational semantics Semantics Causality Motivation Sheaf Trace
30	Philosophical Analysis Giuliano Torrengo T. Sider – Substantivity University of Milan Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Logic Ethics Philosophy of language Philosophical logic Ontology Projectivism Propositional attitudes Statements Metaphysics Proposition Semantics

UPDATE